181![design+artLAB postmoderne / Postplatz 1 / CH-6300 Zug Kontakt: 1+x Art Meets Science, Technology and Nature design+artLAB postmoderne / Postplatz 1 / CH-6300 Zug Kontakt: 1+x Art Meets Science, Technology and Nature](https://www.pdfsearch.io/img/0f26f54d3b49bc32f66643f6da0ec211.jpg) | Add to Reading ListSource URL: www.officelab.chLanguage: German - Date: 2018-06-29 03:55:54
|
---|
182![Earth Science 7-12_BS.pdf Earth Science 7-12_BS.pdf](https://www.pdfsearch.io/img/7f71955125d19f82287bdc8a45463dc9.jpg) | Add to Reading ListSource URL: catalog.southernct.eduLanguage: English - Date: 2018-10-06 18:04:58
|
---|
183![PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK](https://www.pdfsearch.io/img/12783df9879872d65d50d04955b75c87.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-06-07 19:21:25
|
---|
184![Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems](https://www.pdfsearch.io/img/b6e8b0a0b57e814555f25a38dae539c0.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2015-10-18 19:27:58
|
---|
185![SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So](https://www.pdfsearch.io/img/88cd72b7bd675033882f34cb7d56355d.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 16:02:19
|
---|
186![Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti](https://www.pdfsearch.io/img/cea7c69cf50d4b83450b2caa0a99e3d0.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2016-02-19 17:51:14
|
---|
187![Noise-contrastive estimation: A new estimation principle for unnormalized statistical models Michael Gutmann Dept of Computer Science and HIIT, University of Helsinki Noise-contrastive estimation: A new estimation principle for unnormalized statistical models Michael Gutmann Dept of Computer Science and HIIT, University of Helsinki](https://www.pdfsearch.io/img/f1c6841da173372ec771d54255634e0e.jpg) | Add to Reading ListSource URL: proceedings.mlr.pressLanguage: English - Date: 2018-07-14 18:55:46
|
---|
188![Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh](https://www.pdfsearch.io/img/f97b970c5a2854201e481ebeafe72a7d.jpg) | Add to Reading ListSource URL: homepages.cs.ncl.ac.ukLanguage: English - Date: 2015-09-24 14:01:42
|
---|
189![PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich](https://www.pdfsearch.io/img/5071ada7881d1019c1c690897bd48189.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:57:47
|
---|
190![Article-level metrics: a comparison between publishers Colin Batchelor Data Science Bologna, September 2018 Article-level metrics: a comparison between publishers Colin Batchelor Data Science Bologna, September 2018](https://www.pdfsearch.io/img/f825a8be77c35bd67ba0f0c8367a3ae0.jpg) | Add to Reading ListSource URL: workshop-oc.github.ioLanguage: English - Date: 2018-09-10 10:16:09
|
---|